Tacchella, S.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || An Extensible SAT-solver

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 600 KB

english, 2004

2

A case study for a new metrics for economic complexity: The Netherlands

Zaccaria, Andrea, Cristelli, Matthieu, Kupers, Roland, Tacchella, Andrea, Pietronero, Luciano

Journal:

Journal of Economic Interaction and Coordination

Year:

2016

Language:

english

File:

PDF, 1.83 MB

english, 2016

3

Learning middleware models for verification of distributed control programs

Khalili, Ali, Narizzano, Massimo, Natale, Lorenzo, Tacchella, Armando

Journal:

Robotics and Autonomous Systems

Year:

2017

Language:

english

File:

PDF, 638 KB

english, 2017

4

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics

Leofante, Francesco, Ábrahám, Erika, Niemueller, Tim, Lakemeyer, Gerhard, Tacchella, Armando

Journal:

Information Systems Frontiers

Year:

2018

Language:

english

File:

PDF, 2.44 MB

english, 2018

5

Measuring the Intangibles: A Metrics for the Economic Complexity of Countries and Products

Cristelli, Matthieu, Gabrielli, Andrea, Tacchella, Andrea, Caldarelli, Guido, Pietronero, Luciano, Barrat, Alain

Journal:

Year:

2013

Language:

english

File:

PDF, 2.97 MB

english, 2013

6

A dynamical systems approach to gross domestic product forecasting

Tacchella, A., Mazzilli, D., Pietronero, L.

Journal:

Year:

2018

Language:

english

File:

PDF, 2.15 MB

english, 2018

7

De la Chirurgia Magna (1363) aux Fleurs de Guidon : Transmission et dissémination du savoir chirurgical en français au 15 e siècle

Bazin-Tacchella, Sylvie

Journal:

Romance Philology

Year:

2017

Language:

french

File:

PDF, 324 KB

french, 2017

8

[IEEE 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Portland, OR, USA (2019.11.4-2019.11.6)] 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Automating Elevator Design with Satisfiability Modulo Theories

Demarchi, Stefano, Menapace, Marco, Tacchella, Armando

Year:

2019

Language:

english

File:

PDF, 5.35 MB

english, 2019

9

A distributed interconnected control for computer-integrated manufacturing

G.M. Acaccia, R.C. Michelini, R.M. Molfino, F. Stolfo, A. Tacchella

Journal:

Computer Integrated Manufacturing Systems

Year:

1989

Language:

english

File:

PDF, 743 KB

english, 1989

10

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism

Claudio Castellini, Enrico Giunchiglia, Armando Tacchella

Journal:

Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 460 KB

english, 2003

11

Backjumping for Quantified Boolean Logic satisfiability

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Journal:

Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 221 KB

english, 2003

12

Towards an Efficient Library for SAT: a Manifesto

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi

Journal:

Electronic Notes in Discrete Mathematics

Year:

2001

File:

PDF, 886 KB

2001

13

Economic complexity: Conceptual grounding of a new metrics for global competitiveness

Tacchella, A., Cristelli, M., Caldarelli, G., Gabrielli, A., Pietronero, L.

Journal:

Journal of Economic Dynamics and Control

Year:

2013

Language:

english

File:

PDF, 1.41 MB

english, 2013

14

[IEEE 2015 IEEE/ACM 10th International Workshop on Automation of Software Test (AST) - Florence, Italy (2015.5.23-2015.5.24)] 2015 IEEE/ACM 10th International Workshop on Automation of Software Test - Automatic Test-Pattern Generation for Grey-Box Programs

Khalili, Ali, Narizzano, Massimo, Tacchella, Armando, Giunchiglia, Enrico

Year:

2015

Language:

english

File:

PDF, 229 KB

english, 2015

15

Evolution of density profiles in high- z galaxies: compaction and quenching inside-out

Tacchella, Sandro, Dekel, Avishai, Carollo, C. Marcella, Ceverino, Daniel, DeGraf, Colin, Lapiner, Sharon, Mandelker, Nir, Primack, Joel R.

Journal:

Monthly Notices of the Royal Astronomical Society

Year:

2016

Language:

english

File:

PDF, 8.20 MB

english, 2016

16

Self-Strangulation Through A Sphygmomanometer: An Uncommon Suicide

Lo Pinto, Sara, Tacchella, Tiziana, Fossati, Francesca, Bonsignore, Alessandro, Ventura, Francesco

Journal:

Journal of Forensic Sciences

Year:

2016

Language:

english

File:

PDF, 359 KB

english, 2016

17

Quantitative evaluation of gender bias in astronomical publications from citation counts

Caplar, Neven, Tacchella, Sandro, Birrer, Simon

Journal:

Nature Astronomy

Year:

2017

Language:

english

File:

PDF, 251 KB

english, 2017

18

The importance of computer tomography-imaging in a case of a gunshot wound with an atypical entrance wound

Tacchella, Tiziana, Ventura, Francesco, Cittadini, Giuseppe, Nosenzo, Francesca, Molinelli, Andrea

Journal:

Journal of Forensic Radiology and Imaging

Year:

2017

Language:

english

File:

PDF, 511 KB

english, 2017

19

Corrigendum: Quantitative evaluation of gender bias in astronomical publications from citation counts

Caplar, Neven, Tacchella, Sandro, Birrer, Simon

Journal:

Nature Astronomy

Year:

2017

File:

PDF, 40 KB

2017

20

Anatomical and functional abnormalities on MRI in kabuki syndrome

Boisgontier, Jennifer, Tacchella, Jean Marc, Lemaître, Hervé, Lehman, Natacha, Saitovitch, Ana, Gatinois, Vincent, Boursier, Guilaine, Sanchez, Elodie, Rechtman, Elza, Fillon, Ludovic, Lyonnet, Stanis

Journal:

NeuroImage: Clinical

Year:

2018

Language:

english

File:

PDF, 717 KB

english, 2018

21

A Redshift-independent Efficiency Model: Star Formation and Stellar Masses in Dark Matter Halos at z ≳ 4

Tacchella, Sandro, Bose, Sownak, Conroy, Charlie, Eisenstein, Daniel J., Johnson, Benjamin D.

Journal:

The Astrophysical Journal

Year:

2018

Language:

english

File:

PDF, 6.61 MB

english, 2018

22

Collaboration between a human group and artificial intelligence can improve prediction of multiple sclerosis course: a proof-of-principle study

Tacchella, Andrea, Romano, Silvia, Ferraldeschi, Michela, Salvetti, Marco, Zaccaria, Andrea, Crisanti, Andrea, Grassi, Francesca

Journal:

Year:

2018

Language:

english

File:

PDF, 1012 KB

english, 2018

23

High-redshift JWST predictions from IllustrisTNG: dust modelling and galaxy luminosity functions

Vogelsberger, Mark, Nelson, Dylan, Pillepich, Annalisa, Shen, Xuejian, Marinacci, Federico, Springel, Volker, Pakmor, RÃ¼diger, Tacchella, Sandro, Weinberger, Rainer, Torrey, Paul, Hernquist, Lars

Journal:

Monthly Notices of the Royal Astronomical Society

Year:

2020

File:

PDF, 7.35 MB

2020

24

[IEEE 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Bari, Italy (2019.10.6-2019.10.9)] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Conditional Behavior Trees: Definition, Executability, and Applications

Giunchiglia, Eleonora, Colledanchise, Michele, Natale, Lorenzo, Tacchella, Armando

Year:

2019

Language:

english

File:

PDF, 4.47 MB

english, 2019

25

The Language of Innovation

Tacchella, Andrea, Napoletano, Andrea, Pietronero, Luciano, Amancio, Diego Raphael

Journal:

Year:

2020

File:

PDF, 1.95 MB

2020

26

Rapid Reionization by the Oligarchs: The Case for Massive, UV-bright, Star-forming Galaxies with High Escape Fractions

Naidu, Rohan P., Tacchella, Sandro, Mason, Charlotte A., Bose, Sownak, Oesch, Pascal A., Conroy, Charlie

Journal:

The Astrophysical Journal

Year:

2020

File:

PDF, 3.98 MB

2020

27

Reconstructive microsurgery of lymph vessels: The personal method of lymphatic-venous-lymphatic (LVL) interpositioned grafted shunt

Prof. C. Campisi, F. Boccardo, M. Tacchella

Journal:

Year:

1995

File:

PDF, 623 KB

1995

28

Derivative lymphatic microsurgery: Indications, techniques, and results

Prof. C. Campisi, F. Boccardo, P. Alitta, M. Tacchella

Journal:

Year:

1995

Language:

english

File:

PDF, 513 KB

english, 1995

29

On rational solutions of multicomponent and matrix KP hierarchies

Alberto Tacchella

Journal:

Journal of Geometry and Physics

Year:

2011

Language:

english

File:

PDF, 276 KB

english, 2011

30

Use of thermotherapy in management of lymphedema: clinical observations

C. Campisi, F. Boccardo, M. Tacchella

Journal:

International Journal of Angiology

Year:

1999

Language:

english

File:

PDF, 470 KB

english, 1999

31

Burden of rotavirus infections in Liguria, northern Italy: hospitalisations and potential savings by vaccination

D. Panatto, D. Amicizia, R. Giacchino, A. Tacchella, A. R. Natalizia, G. Melioli, R. Bandettini, P. Di Pietro, M. C. Diana, R. Gasparini

Journal:

European Journal of Clinical Microbiology & Infectious Diseases

Year:

2011

Language:

english

File:

PDF, 198 KB

english, 2011

32

NeVer: a tool for artificial neural networks verification

Luca Pulina, Armando Tacchella

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 520 KB

english, 2011

33

A self-adaptive multi-engine solver for quantified Boolean formulas

Luca Pulina, Armando Tacchella

Journal:

Year:

2009

Language:

english

File:

PDF, 651 KB

english, 2009

34

A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics

Enrico Giunchiglia, Armando Tacchella

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2001

Language:

english

File:

PDF, 190 KB

english, 2001

35

SAT-Based Decision Procedures for Classical Modal Logics

Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 326 KB

english, 2002

36

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || SAT Based Predicate Abstraction for Hardware Verification

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 247 KB

english, 2004

37

Immunomodulatory therapy in recurrent acute necrotizing encephalopathy ANE1: Is it useful?

Laura Bergamino, Valeria Capra, Roberta Biancheri, Andrea Rossi, Angela Tacchella, Linda Ambrosini, Masashi Mizuguchi, Makiko Saitoh, Maria Grazia Marazzi

Journal:

Brain and Development

Year:

2012

Language:

english

File:

PDF, 655 KB

english, 2012

38

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || Width-Based Algorithms for SAT and CIRCUIT-SAT

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 178 KB

english, 2004

39

Epidemiology and clinical features of Mycoplasma pneumoniae infection in children

Annacarla Defilippi, Michela Silvestri, Angela Tacchella, Raffaella Giacchino, Giovanni Melioli, Eddi Di Marco, Carmela Cirillo, Pasquale Di Pietro, Giovanni A. Rossi

Journal:

Respiratory Medicine

Year:

2008

Language:

english

File:

PDF, 256 KB

english, 2008

40

Burden of rotavirus disease and cost-effectiveness of universal vaccination in the Province of Genoa (Northern Italy)

D. Panatto, D. Amicizia, F. Ansaldi, A. Marocco, F. Marchetti, F. Bamfi, R. Giacchino, A. Tacchella, S. Del Buono, R. Gasparini

Journal:

Year:

2009

Language:

english

File:

PDF, 243 KB

english, 2009

41

Quantifier Structure in Search-Based Procedures for QBFs

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2007

Language:

english

File:

PDF, 472 KB

english, 2007

42

Azithromycin long-term therapy in CF patients: microbiological and clinical effects

R. Casciaro, S. Pessano, M. Caso, M. Serafino, G. Manno, M. Mentasti, A. Tacchella, L. Minicucci

Journal:

Journal of Cystic Fibrosis

Year:

2008

Language:

english

File:

PDF, 60 KB

english, 2008

43

Survival analysis of CF patients diagnosed in a 35-year neonatal screening program in North-eastern Italy

N. Tacchella, P. Iansa, C. Castellani, B.M. Assael

Journal:

Journal of Cystic Fibrosis

Year:

2009

Language:

english

File:

PDF, 62 KB

english, 2009

44

Multicenter prospective study about complications of totally implantable central venous access ports in Italian people with CF: preliminary results

A. Dal Molin, C. Braggion, S. Bisogni, E. Rizzi, N. Tacchella, V. Carnovale, S. Del Vecchio, M.L. Furnari, M. Calamia, G. Tuccio, V. Spadea, F. Festini

Journal:

Journal of Cystic Fibrosis

Year:

2009

Language:

english

File:

PDF, 61 KB

english, 2009

45

Omeprazole reduces response to capsaicin, not to methacholine in asthmatics with proximal reflux

L. Benini, N. Tacchella, M. Ferrari, F. De Iorio, I. Vantini

Journal:

Digestive and Liver Disease

Year:

2006

Language:

english

File:

PDF, 281 KB

english, 2006

46

Cytomegalovirus and immunodepressive therapy in IBD

F. De Iorio, L. Rigo, P. Capelli, G. Talamini, N. Tacchella, C. Cannizzaro, G. Delaini, I. Vantini, L. Benini

Journal:

Digestive and Liver Disease

Year:

2006

Language:

english

File:

PDF, 121 KB

english, 2006

47

Competitors’ communities and taxonomy of products according to export fluxes

M. Cristelli, A. Tacchella, A. Gabrielli, L. Pietronero, A. Scala, G. Caldarelli

Journal:

The European Physical Journal Special Topics

Year:

2012

Language:

english

File:

PDF, 216 KB

english, 2012

48

Ontology-based data access: An application to intermodal logistics

Casu, Matteo, Cicala, Giuseppe, Tacchella, Armando

Journal:

Information Systems Frontiers

Year:

2013

Language:

english

File:

PDF, 1.63 MB

english, 2013

49

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || Effective Preprocessing with Hyper-Resolution and Equality Reduction

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 240 KB

english, 2004

50

A New Metrics for Countries' Fitness and Products' Complexity

Tacchella, Andrea, Cristelli, Matthieu, Caldarelli, Guido, Gabrielli, Andrea, Pietronero, Luciano

Journal:

Scientific Reports

Year:

2012

Language:

english

File:

PDF, 1.97 MB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски